<?php interface I1 {}
